type bool =
  | false
  | true;
